1. Category theory and computer science
Author: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
.
6
.
C388
1987
2. Category theory and computer science
Author: / D.H. Pitt ... (et al.) (ed.)
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Categories (Mathematics) -- Congresses
Classification :
QA
76
.
6
.
C3882
1989
3. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author: D.H. Pitt ... )et al.( )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L4
v
.
389
4. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author: / D.H. Pitt ... (et al.) (ed.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
.
6
.
C3882
1989
5. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
Author: David Pitt, David E. Rydeheard, Peter Johnstone, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
Classification :
QA
76
.
6
.
B53
1995
6. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
Author: / Eugenio Moggi, Giuseppe Rosolini(eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
,.
6
.
B53
